monotonic_derivative
